#include<stdio.h>
int main(int argc,char*argv[])
{
	printf("%lf\n", 5.0 / 2);
	return 0;
}